$\forall$$w$:World. FairFifo $\Rightarrow$ ($\forall$$e$:E, $x$:Id. state\_when($e$).$x$ = ($x$ when $e$) $\in$ $\mathbb{Q}\rightarrow$vartype(loc($e$);$x$))